Formal Development of Self-organising Systems
نویسندگان
چکیده
Attempts to engineer autonomic multi-agent systems, particularly those having large numbers of agents, have revealed the need for design structures and formalisms to support the construction of properties that emerge at the system level. Such emergence, like self-∗ behaviour, relies typically on intricate inter-agent interactions. This paper shows how the top-down incremental approach of Formal Methods can be used satisfactorily in that situation, by considering a case study in which agents adapt and autonomously achieve a given configuration.
منابع مشابه
Engineering Self-Organising Emergent Systems with Simulation-based Scientific Analysis
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-deterministic nature of such systems, it is hard to guarantee that the required macroscopic behaviour is achieved and maintained. Before even considering a self-organising emergent system in an industrial context, e.g. for Au...
متن کاملCombining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems
In this paper we discuss how to combine the method content from PosoMAS, the Process for open, self-organising Multi-Agent Systems, with the agile iterative-incremental life cycle of Scrum. The result is an agile software engineering methodology tailored to open self-organising systems. We show how the methodology has been applied in a development project and discuss the lessons learned. Finall...
متن کاملSelf-organising assembly systems formally specified in Maude
This article recapitulates on the research done in self-organising assembly systems (SOAS) and presents the completed formal specifications and their simulation in Maude. SOAS are assembly systems that (1) participate in their own design by spontaneously organising themselves in the shop floor layout in response to the arrival of a product order and (2) manage themselves during production. The ...
متن کاملDesigning Self-organising MAS Environments: The Collective Sort Case
Self-organisation is being recognised as an effective conceptual framework to deal with the complexity inherent to modern artificial systems. In this article, we explore the applicability of self-organisation principles to the development of multi-agent system (MAS) environments. First, we discuss a methodological approach for the engineering of complex systems, which features emergent properti...
متن کاملSelf-organising Systems
Objectives The objective of this chapter is to introduce the subject of selforganising software systems. When you will have read this chapter, you will: • Know the answers to key introductory questions to self-organising systems; • Understand what self-organising software is and why it is important; • Obtain an understanding of different self-organising system types that can be found in nature;...
متن کامل